Proceedings 9th Interaction and Concurrency Experience

Pre-proceedings of 1st Interaction and Concurrency Experience (ICE’08) Synchronous and Asynchronous Interactions in Concurrent Distributed Systems

We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of simultaneity is built in, since when a transition has more than one preplace, it can be crucial that tokens are removed instantaneously. When modelling a system which is intended to be implemented in an...

Proceedings of the 9th International Congress on Peritoneal Surface Malignancies, October 9th - 11th 2014, Amsterdam.

Multiport Interaction Nets and Concurrency

We consider an extension of Lafont’s Interaction Nets, called Multiport Interaction Nets, and show that they are a model of concurrent computation by encoding the full π-calculus in them. We thus obtain a faithful graphical representation of the π-calculus in which every reduction step is decomposed in fully local graph-rewriting rules.

Proceedings 9th Göttingen Meeting of the German Neuroscience Society 2011

The aim of our study was to assess perceptual influences to attentionlinked task relevant behaviour in childrenwith ADHD and matched controls by a comparison between visual motion and form processing. The well-established Eriksen flanker task was performed incorporating one measurement with coherently moving randomdot patterns (RDPs), moving either to the left or right, and one with...

Editorial: Concurrency and Computation: Practice and Experience

The journal started twelve years ago when parallel computing technology was getting to the point where it was being used in several practical scenarios. Thus Concurrency: Practice and Experience was launched to highlight papers with a high technical content but in some way or other having a practical flavor. Over the years the scope of the journal has been broadened to reflect the winds of chan...